Back to the future: revisiting the application of an enzyme kinetic equation to maize development nearly four decades later

Open Access Journal; Published online: 19 Sept 2019With the recent resurgence in interest in models describing maize (Zea mays L.) development rate responses to temperature, this study uses published data to refit the Poikilotherm equation and compare it to broken stick “heat stress” equations. These data were for the development rate of eight open pollinated maize varieties at diverse sites in Africa. The Poikilotherm equation was applied with the original published parameters and after refitting with the data in this study. The heat stress equation was tested after fitting with just the first variety and after fitting with each variety. The Poikilotherm equation with the original parameter values had large errors in predicting development rates in much of the temperature range. The adjusted Poikilotherm equation did much better with the root-mean-square error (RMSE) decreasing from 0.034 to 0.003 (1/day) for a representative variety. The heat stress equation fit to the first variety did better than the Poikilotherm equation when applied to all the varieties. The heat stress equations fitted separately for each variety did not have an improved fit compared to the one heat stress equation. Thus, separate fitting of such an equation for different varieties may not be necessary. The one heat stress equation, the separate heat stress equation, and the Poikilotherm equation each had a better fit than nonlinear Briere et al. curves. The Poikilotherm equation showed promise, realistically capturing the high, low, and optimum rate values measured. All the equations showed promise to some degree for future applications in simulating the maize development rate. When fitting separate regressions for each variety for the heat stress equations, the base temperatures had a mean of 5.3 °C, similar to a previously published value of 6 °C. The last variety had noticeably different rates than the others. This study demonstrated that a simple approach (the heat stress equation) should be adequate in many cases. It also demonstrated that more detailed equations can be useful when a more mechanistic system is desired. Future research could investigate the reasons for the different development rate response of the last variety and investigate similar varieties

Contracts in Practice

Contracts are a form of lightweight formal specification embedded in the program text. Being executable parts of the code, they encourage programmers to devote proper attention to specifications, and help maintain consistency between specification and implementation as the program evolves. The present study investigates how contracts are used in the practice of software development. Based on an extensive empirical analysis of 21 contract-equipped Eiffel, C#, and Java projects totaling more than 260 million lines of code over 7700 revisions, it explores, among other questions: 1) which kinds of contract elements (preconditions, postconditions, class invariants) are used more often; 2) how contracts evolve over time; 3) the relationship between implementation changes and contract changes; and 4) the role of inheritance in the process. It has found, among other results, that: the percentage of program elements that include contracts is above 33% for most projects and tends to be stable over time; there is no strong preference for a certain type of contract element; contracts are quite stable compared to implementations; and inheritance does not significantly affect qualitative trends of contract usage

Testing Library Specifications by Verifying Conformance Tests

Abstract. Formal specifications of standard libraries are necessary when statically verifying software that uses those libraries. Library specifications must be both correct, accurately reflecting library behavior, and useful, describing library behavior in sufficient detail to allow static verification of client programs. Specification and verification researchers regularly face the question of whether the library specifications we use are correct and useful, and we have collectively provided no good answers. Over the past few years we have created and refined a software engineering process, which we call the Formal CTD Process (FCTD), to address this problem. Although FCTD is primarily targeted toward those who write Java libraries (or specifications for existing Java libraries) using the Java Modeling Language (JML), its techniques are broadly applicable. The key to FCTD is its novel usage of library conformance test suites. Rather than executing the conformance tests, FCTD uses them to measure the correctness and utility of specifications through static verification. FCTD is beginning to see significant use within the JML community and is the cornerstone process of the JML Spec-a-thons, meetings that bring JML researchers and practitioners together for intensive specification writing sessions. This article describes the Formal CTD Process, its use in small case studies, and its broad application to the standard Java class library.

The International Cancer Expert Corps: A Unique Approach for Sustainable Cancer Care in Low and Lower-Middle Income Countries

The growing burden of non-communicable diseases including cancer in low- and lower-middle income countries (LMICs) and in geographic-access limited settings within resource-rich countries requires effective and sustainable solutions. The International Cancer Expert Corps (ICEC) is pioneering a novel global mentorship–partnership model to address workforce capability and capacity within cancer disparities regions built on the requirement for local investment in personnel and infrastructure. Radiation oncology will be a key component given its efficacy for cure even for the advanced stages of disease often encountered and for palliation. The goal for an ICEC Center within these health disparities settings is to develop and retain a high-quality sustainable workforce who can provide the best possible cancer care, conduct research, and become a regional center of excellence. The ICEC Center can also serve as a focal point for economic, social, and healthcare system improvement. ICEC is establishing teams of Experts with expertise to mentor in the broad range of subjects required to establish and sustain cancer care programs. The Hubs are cancer centers or other groups and professional societies in resource-rich settings that will comprise the global infrastructure coordinated by ICEC Central. A transformational tenet of ICEC is that altruistic, human-service activity should be an integral part of a healthcare career. To achieve a critical mass of mentors ICEC is working with three groups: academia, private practice, and senior mentors/retirees. While in-kind support will be important, ICEC seeks support for the career time dedicated to this activity through grants, government support, industry, and philanthropy. Providing care for people with cancer in LMICs has been a recalcitrant problem. The alarming increase in the global burden of cancer in LMICs underscores the urgency and makes this an opportune time fornovel and sustainable solutions to transform cancer care globally

Simulating maize yield in sub-tropical conditions of southern Brazil using Glam model

The objective of this work was to evaluate the feasibility of simulating maize yield in a sub‑tropical region of southern Brazil using the general large area model (Glam). A 16‑year time series of daily weather data were used. The model was adjusted and tested as an alternative for simulating maize yield at small and large spatial scales. Simulated and observed grain yields were highly correlated (r above 0.8; p<0.01) at large scales (greater than 100,000 km2), with variable and mostly lower correlations (r from 0.65 to 0.87; p<0.1) at small spatial scales (lower than 10,000 km2). Large area models can contribute to monitoring or forecasting regional patterns of variability in maize production in the region, providing a basis for agricultural decision making, and Glam‑Maize is one of the alternatives